//]]>
CONCUR 2013 – Concurrency Theory by D’Argenio, Pedro R. Publication: . XIV, 562 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2013 Parallel Processing by Wolf, Felix. Publication: . XXVIII, 890 p. 314 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Personal Web by Chignell, Mark. Publication: . XIV, 221 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Computing Technologies by Malyshkin, Victor. Publication: . XVI, 444 p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multicore Software Engineering, Performance, and Tools by Lourenço, João M. Publication: . X, 111 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XIII by Müller, Jörg P. Publication: . X, 197 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Sharygina, Natasha. Publication: . XXII, 1015 p. 237 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Science, Engineering and Management by Wang, Mingzheng. Publication: . XIV, 604 p. 219 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Ruhe, Günther. Publication: . XVI, 326 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming and Formal Engineering Methods by Liu, Zhiming. Publication: . XII, 283 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2013 by Liu, Zhiming. Publication: . XII, 445 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theories of Programming and Formal Methods by Liu, Zhiming. Publication: . XII, 413 p. 86 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Reasoning and Rule Systems by Faber, Wolfgang. Publication: . XIV, 272 p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 679 p. 276 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 649 p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 715 p. 290 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 659 p. 259 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 729 p. 317 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Blazy, Sandrine. Publication: . XII, 498 p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory, Practice, and Applications of Rules on the Web by Morgenstern, Leora. Publication: . XVIII, 249 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية